201. An introduction to mathematical logic and type theory. to truth through proof
Author: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
202. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
203. An introduction to mathematical reasoning
Author: Iglewicz, Boris
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
Classification :
QA
9
.
I36I5
204. An introduction to mathematical thought
Author: Stabler, Edward Russell
Library: Library of College of Science University of Tehran (Tehran)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
S67
1953
205. An introduction to mathematical thought
Author: / by E. R. Stabler
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Logic - Symbolic and mathematical
Classification :
510
.
1
St-I
206. An introduction to mathemational machine theory
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic data processing,Mathematical models,Automata,Logic, Symbolic and mathematical
Classification :
510
.
78
Gi-I
207. An introduction to modern mathematics
Author: Monjallon, Albert
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
Classification :
QA
248
.
M513
208. An introduction to practical formal methods using temporal logic
Author: / Michael Fisher
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Temporal automata,Logic, Symbolic and mathematical
Classification :
QA267
.
5
.
T45
,
F57
2011
209. An introduction to stymbolic logic
Author: Langer, susanne katherina)Knauth(5981-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، logic, symbolic and Mathematical
Classification :
BC
135
.
L35
1967
210. An introduction to substructural logics
Author: Restall, Greg
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
R47
2000
211. An introduction to symbolic logic
Author: Langer, Susanne Katherina Knauth
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
212. An introduction to symbolic logic
Author: / by Susanne K. Langer
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
L35
1967
213. An introduction to symbolic logic
Author: Langer, Susanne Katherina )Knauth(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
1967
214. An introduction to symbolic logic
Author: Langer, Susanne Katherina )Knauth(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
1967
215. An introduction to symbolic logic
Author: Langer, Susanne Katherina Knauth, 5981-5891
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L26I5
1967
216. An introduction to symbolic logic
Author: Langer
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
L35
1967
217. An introduction to the elements of mathematics
Author: Fujii, John N
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Aggregates,، Algebra
Classification :
QA
9
.
F8
218. An investigation of the laws of thought
پدیدآورنده : Boole, George, 5181-4681
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
219. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
Author: Boole, George
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
Classification :
BC
135
.
B7
1854a
220. An investigation of the laws of thought; on which are founded the mathematical theories of logic and probabilities
Author: Boole
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, symbolic and mathematical,Thought and thinking,Probabilities
Classification :
BC
135
.
B6
